2,507,210 Hits in 5.2 sec

Reasoning about generalized intervals: Horn representability and tractability

P. Balbiani, J.-F. Condotta, G. Ligozat
Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000  
This paper organizes the topologic forms of the possible relations between generalized intervals.  ...  Working out generalized interval algebra on the pattern of point algebra and interval algebra, it introduces the concept of Horn representability just as the one of convexity.  ...  Without doubt, the model of the points designed by Vilain and Kautz [13] and the model of the intervals elaborated by Allen [1] are the better known models for reasoning about time.  ... 
doi:10.1109/time.2000.856580 dblp:conf/time/BalbianiCL00 fatcat:ofyjagumznbf7coz7lrdflvgse

Interval talks at the first el paso shell oil symposium

Vladik Kreinovich
1996 Reliable Computing  
Reasoning about actions is usually done when we do not have the complete knowledge about the situation, and about the consequences of our actions.  ...  This result shows that interval degrees of belief are indeed a reasonable tool for presenting commonsense reasoning. VL^DIK KRt~OVI~  ... 
doi:10.1007/bf02388194 fatcat:soecb3ac5vgqfgp6uxsluji3uy

A Language for Planning with Statistics [article]

Nathaniel G. Martin, James F. Allen
2013 arXiv   pre-print
Inferences about the validity of the approximations can be made using interval estimation.  ...  Such probabilities are subject to error, so the planner must introspect about their validity. Inferences about the probability of these events can be made using statistics.  ...  It develops an event-based first order language using temporal intervals and confidence intervals for reasoning about plans.  ... 
arXiv:1303.5731v1 fatcat:55v2nqk7kfddxpbw5l623lsm3y

An Interval-Based Approach for Reasoning About Land use Change Trajectories

Adeline M. Maciel, Lubia Vinhas, Gilberto Camara, Michelle C. A. Picoli, Rodrigo A. Begotti
2018 IGARSS 2018 - 2018 IEEE International Geoscience and Remote Sensing Symposium  
We use an interval-based approach and the concept of events to reason about land use changes trajectories resulting in a formalism that allows users to express queries about the land use.  ...  The method contributes with a tool to help scientists and policy makers to reason about land use change.  ...  Its core is an extension and improvement of the interval-based approach by Allen's [8] to build a general calculus to reason about land use change trajectories, where we use events to represent different  ... 
doi:10.1109/igarss.2018.8518765 dblp:conf/igarss/MacielVCPB18 fatcat:6vynrwgrqzdp5haidxwwcbhhbm

Page 5701 of Mathematical Reviews Vol. , Issue 93j [page]

1993 Mathematical Reviews  
This paper deals with problems in reason- ing about such intervals when the precise topological relationships between them is unknown or only partially specified.  ...  This work unifies notions of interval algebras for temporal reasoning in artifi- cial intelligence with those of interval orders and interval graphs in combinatorics, obtaining new algorithmic and complexity  ... 

Graph Theoretic Models for Reasoning About Time [chapter]

Martin Charles Golumbic
2004 Lecture Notes in Computer Science  
Reasoning about time is a very ancient discipline, perhaps as old as prehistoric man.  ...  Reasoning about time is an integral component of every advance of mankind.  ...  Acknowledgements I thank the organizers for the invitation to deliver this lecture honoring Jean-Louis Lassez whose contributions to the fields of automated reasoning, constraints and logic programming  ... 
doi:10.1007/978-3-540-30502-6_26 fatcat:gvfk76ywircupoeci4amyni7jy

Temporal reasoning based on semi-intervals

Christian Freksa
1992 Artificial Intelligence  
A generalization of Allen's interval-based approach to temporal reasoning is presented.  ...  We demonstrate the advantages of reasoning on the basis of semi-intervals: 1) semi-intervals are rather natural entities both from a cognitive and from a computational point of view; 2) coarse knowledge  ...  The basic elements of Allen's theory are intervals corresponding to events (rather than points corresponding to instants), qualitative relations between these intervals, and an algebra for reasoning about  ... 
doi:10.1016/0004-3702(92)90090-k fatcat:tt7ob2oiwrgehnztwpwsjev47q

Perceiving and Reasoning about a Changing World

John L. Pollock
1998 Computational intelligence  
about the changing world.  ...  reasoning.  ...  The preceding observations are just about human beings, but there are lessons to be drawn from them about rational agents in general.  ... 
doi:10.1111/0824-7935.00074 fatcat:ffmqrbzlmrfszldabvfcgeedf4

Timing is everything. Time-oriented clinical information systems

Y Shahar, C Combi
1998 Western Journal of Medicine  
Representing, maintaining, querying, and reasoning about time-oriented clinical data is a major theoretical and practical research area in medical informatics.  ...  We also explore the two primary methodological and theoretical paths research has taken in the past decade: temporal reasoning and temporal data maintenance.  ...  A episode holds during an interval, during which a predefined property (evaluated by reasoning about several events) holds.  ... 
pmid:9499744 pmcid:PMC1304838 fatcat:ozpe67zltjhill4rneyja54i74

Interval Temporal Logic in General-Purpose Situational Simulations

Eddy M. Rojas, Amlan Mukherjee
2005 Journal of computing in civil engineering  
This paper also illustrates how this new paradigm facilitates the implementation of a reasoning mechanism that can be used by a software agent to perceive present actions and predict the future evolution  ...  simulations of construction management processes and construction operations shows that commonly used discrete event simulation paradigms are unsuitable for representing actions and events in interactive general  ...  Finally, in developing a general purpose, simulation paradigm it is necessary to be able to represent and reason about broad classes of problems.  ... 
doi:10.1061/(asce)0887-3801(2005)19:1(83) fatcat:6swao2vtbng33kbiyflp3ue2je

Informal Inferential Reasoning: Interval Estimates of Parameters

Theodosia Prodromou
2013 International Journal of Statistics and Probability  
This research examined the informal inferential reasoning of senior secondary school students (age 17) when engaged in a computer-simulated sampling activity calling for the estimation of population parameters  ...  A number of strategies for forming an interval estimate emerged.  ...  Thus his interval became generally between about 30 and 88.  ... 
doi:10.5539/ijsp.v2n2p136 fatcat:hypuqcj26zfavbufigxvzj42sm

Alternatives to Threshold-Based Desire Selection in Bayesian BDI Agents [chapter]

Bernardo Luz, Felipe Meneguzzi, Rosa Vicari
2013 Lecture Notes in Computer Science  
are normalized in the [0, 1] interval and used to generate the intervals.  ...  Algorithm 1 outlines a generic reasoning cycle for a bayesian BDI agent reasoning within an uncertain environment.  ... 
doi:10.1007/978-3-642-45343-4_10 fatcat:svbixcejprdxvluopj24gr2tvq

The cost of reducing scientific uncertainty concerning hormesis: a commentary on Professor Cross's paper

V R Walker
2001 Human and Experimental Toxicology  
When the cost of generating adequate data about hormetic effects is too high, can agencies proceed without such data?  ...  In general, the width of a confidence interval for relative risk is a function of the sample sizeincreasing the size of the sample decreases the width of the interval, other factors being equal.5 At a  ... 
doi:10.1191/096032701669899997 pmid:11326780 fatcat:zrtlqduxzfe3naeygxojwjiz5y


Reid Simmons
1990 Readings in Qualitative Reasoning About Physical Systems  
Arithmetic reasoning" can range in complexity  ...  between time points and about the durations of intervals.  ...  One of the important features of the Quantity Lattice is that it combines reasoning about ordinal relationships with reasoning about arithmetic expressions.  ... 
doi:10.1016/b978-1-4832-1447-4.50029-8 fatcat:wj3keu6q7fahrfmmkp26gdqcsq

Unification of geospatial reasoning, temporal logic, & social network analysis in event-based systems

Jans Aasman
2008 Proceedings of the second international conference on Distributed event-based systems - DEBS '08  
This paper is about a new type of event database that enables efficient reasoning about things, people, companies, relationships between people and companies, and about places and events.  ...  On top of this event database we implemented libraries for RDFS++ logic reasoning, for geospatial and temporal capabilities, and an extensive social network analysis package.  ...  Temporal Reasoning Our temporal reasoning is based on James Allen's Interval Logic [9] . This logic looks at all the 13 ways two temporal intervals can relate to each other.  ... 
doi:10.1145/1385989.1386007 dblp:conf/debs/Aasman08 fatcat:pevvmu3ex5a25mfib7bzpccahi
« Previous Showing results 1 — 15 out of 2,507,210 results