English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

In this article we present an implementation of non-monotonic reasoning in anembedded system. As a part of an autonomous motor-glider, it simulates pilotingdecisions of an airplane. A real pilot must take care not only about theinformation arising from the cockpit (airspeed, altitude, variometer,compass...) but also from outside the cabin. Throughout a flight, a pilot isconstantly in communication with the control tower to follow orders, becausethere is an airspace regulation to respect. In addition, if the control towersends orders while the pilot has an emergency, he may have to violate theseorders and airspace regulations to solve his problem (e.g. emergency landing).On the other hand, climate changes constantly (wind, snow, hail..) and canaffect the sensors. All these cases easily lead to contradictions. Switching toreasoning under uncertainty, a pilot must make decisions to carry out a flight.The objective of this implementation is to validate a non-monotonic model whichallows to solve the question of incomplete and contradictory information. Weformalize the problem using default logic, a non-monotonic logic which allowsto find fixed-points in the face of contradictions. For the implementation, theProlog language is used in an embedded computer running at 1 GHz single corewith 512 Mb of RAM and 0.8 watts of energy consumption.

An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider