Conditional and Preferential Logics: Proof Methods and Theorem Proving
This volume contains a revised and updated version of the author’s Ph.D. dissertation, and is focused on proof methods and theorem proving for Conditional and Preferential logics. Conditional logics are extensions of classical logic by means of a conditional operator, usually denoted as =>. Condi...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
IOS Press
2013
|
| Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35605 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-35605 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-356052014-01-19T23:43:33Z Conditional and Preferential Logics: Proof Methods and Theorem Proving Pozzato, Gian Luca This volume contains a revised and updated version of the author’s Ph.D. dissertation, and is focused on proof methods and theorem proving for Conditional and Preferential logics. Conditional logics are extensions of classical logic by means of a conditional operator, usually denoted as =>. Conditional logics have a long history, and recently they have found application in several areas of AI, including belief revision and update, the representation of causal inferences in action planning and the formalization of hypothetical queries in deductive databases. Conditional logics have also been applied in order to formalize nonmonotonic reasoning. The study of the relations between conditional logics and nonmonotonic reasoning has led to the seminal work by Kraus, Lehmann and Magidor, who have introduced the so called KLM framework. According to this framework, a defeasible knowledge base is represented by a finite set of conditional assertions of the form A |~ B, whose intuitive reading is "typically (normally), the A's are B's". The operator |~ is nonmonotonic in the sense that A |~ B does not imply A and C |~ B. The logics of the KLM framework, also known as preferential logics, allow to infer new conditional assertion from a given knowledge base. In spite of their significance, very few deductive mechanisms have been developed for conditional and preferential logics. In this book the author tries to (partially) fill the existing gap by introducing proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi. 2013-09-23T07:52:55Z 2013-09-23T07:52:55Z 2010 Book 978-1-60750-095-7 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35605 en application/pdf IOS Press |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| description |
This volume contains a revised and updated version of the author’s Ph.D. dissertation, and is focused on proof methods and theorem proving for Conditional and Preferential logics. Conditional logics are extensions of classical logic by means of a conditional operator, usually denoted as =>. Conditional logics have a long history, and recently they have found application in several areas of AI, including belief revision and update, the representation of causal inferences in action planning and the formalization of hypothetical queries in deductive databases. Conditional logics have also been applied in order to formalize nonmonotonic reasoning. The study of the relations between conditional logics and nonmonotonic reasoning has led to the seminal work by Kraus, Lehmann and Magidor, who have introduced the so called KLM framework. According to this framework, a defeasible knowledge base is represented by a finite set of conditional assertions of the form A |~ B, whose intuitive reading is "typically (normally), the A's are B's". The operator |~ is nonmonotonic in the sense that A |~ B does not imply A and C |~ B. The logics of the KLM framework, also known as preferential logics, allow to infer new conditional assertion from a given knowledge base. In spite of their significance, very few deductive mechanisms have been developed for conditional and preferential logics. In this book the author tries to (partially) fill the existing gap by introducing proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi. |
| format |
Book |
| author |
Pozzato, Gian Luca |
| spellingShingle |
Pozzato, Gian Luca Conditional and Preferential Logics: Proof Methods and Theorem Proving |
| author_facet |
Pozzato, Gian Luca |
| author_sort |
Pozzato, Gian Luca |
| title |
Conditional and Preferential Logics: Proof Methods and Theorem Proving |
| title_short |
Conditional and Preferential Logics: Proof Methods and Theorem Proving |
| title_full |
Conditional and Preferential Logics: Proof Methods and Theorem Proving |
| title_fullStr |
Conditional and Preferential Logics: Proof Methods and Theorem Proving |
| title_full_unstemmed |
Conditional and Preferential Logics: Proof Methods and Theorem Proving |
| title_sort |
conditional and preferential logics: proof methods and theorem proving |
| publisher |
IOS Press |
| publishDate |
2013 |
| url |
http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35605 |
| _version_ |
1757653741096402944 |