Abstract | ||
---|---|---|
A unifying semantic framework for different reasoning approaches provides an ideal tool to compare these competing alternatives A historic example is Kripke's possible world semantics that provided a unifying framework for different systems of modal logic. More recently, Shoham's work on preferential semantics similarly provided a much needed framework to uniformly represent and compare a variety of nonmonotonic logics (including some logics of action). The present work develops a novel type of semantics for a particular causal approach to reasoning about action. The basic idea is to abandon the standard state-space of possible worlds and consider instead a larger set of possibilities -- a hyper-space -- tracing the effects of auctions (including indirect effects) with the states in the hyper-space. Intuitively, the purpose of these hyper-states is to supply extra context to record the process of causality. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/3-540-46695-9_32 | Australian Joint Conference on Artificial Intelligence |
Keywords | Field | DocType |
causal propagation semantics,basic idea,different system,different reasoning approach,preferential semantics,possible world semantics,unifying semantic framework,unifying framework,present work,needed framework,possible world,nonmonotonic reasoning,nonmonotonic logic,common sense reasoning,state space,modal logic,possible worlds | Knowledge representation and reasoning,Kripke semantics,Computer science,Commonsense reasoning,Circumscription,Artificial intelligence,Modal logic,Non-monotonic logic,Semantics,Possible world | Conference |
Volume | ISSN | ISBN |
1747 | 0302-9743 | 3-540-66822-5 |
Citations | PageRank | References |
2 | 0.43 | 11 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mikhail Prokopenko | 1 | 648 | 69.26 |
Maurice Pagnucco | 2 | 357 | 40.74 |
Pavlos Peppas | 3 | 265 | 31.74 |
Abhaya C. Nayak | 4 | 243 | 28.19 |